Fundamentals of Lambda Calculus for People Who Love Birds
This (beautifully formatted and well-paced-and-delivered and surprisingly sparsely attended) talk by Gabriel Lebec on the fundamentals of Lambda Calculus is one of my favorite talks ever. https://www.youtube.com/watch?v=3VQ382QG-y4 As Lebec explains, the lovely bird names come from this book called…